# -*- mode: snippet -*-
# name: Local Axiom
# --
Local Axiom $1 : $2
